abstraction elimination造句
例句與造句
- Unlambda is based on the principle of abstraction elimination, or the elimination of all saved variables, including functions.
- Especially, the deduction theorem specific to Hilbert-style logic matches the process of abstraction elimination of combinatory logic.
- It's difficult to find abstraction elimination in a sentence. 用abstraction elimination造句挺難的